$\forall$$l$:IdLnk, $k$:Knd, ${\it tg}$:Id, $v$:Top. $k$ $\in$ dom(lnk{-}decl($l$;${\it tg}$ : $v$)) $\sim$ rcv($l$,${\it tg}$) = $k$